Transformation canonique
En mécanique hamiltonienne, une transformation canonique est un changement des coordonnées canoniques (q, p, t) → (Q, P, t) qui conserve la forme des équations de Hamilton, sans pour autant nécessairement conserver le Hamiltonien en lui-même. Les transformations canoniques sont utiles pour les équations de Hamilton-Jacobi (une technique utile pour calculer les quantités conservées) et le théorème de Liouville (à la base de la mécanique statistique classique).
La mécanique lagrangienne étant basée sur les coordonnées généralisées, les transformations des coordonnées q → Q n'affectent pas les équations de Lagrange, et donc pas la forme des équations de Hamilton, si l'on change en même temps le moment par une transformée de Legendre en :
Ainsi, les changements de coordonnées sont des sortes de transformations canoniques. Néanmoins, la classe des transformations canoniques est bien plus grande, car les coordonnées généralisées de départ, les moments et même le temps peuvent être combinés pour former de nouvelles coordonnées généralisées et de nouveaux moments. Les transformations canoniques n'impliquant pas explicitement le temps sont appelées transformations canoniques restreintes (de nombreux ouvrages se limitent à ce type de transformations).
Notation
[modifier | modifier le code]Les variables en gras comme q représentent une liste de N coordonnées généralisées :
Un point sur une variable ou une liste représente la dérivée temporelle :
Le produit sur les listes, symbolisé par un point, est une manière rapide de noter la somme des produits de leurs composantes deux à deux :
Approche directe
[modifier | modifier le code]La forme fonctionnelle des équations de Hamilton s'écrit :
Par définition, les coordonnées canoniques suivent la même dynamique :
où est le nouveau Hamiltonien qui reste à déterminer.
Toutes les transformations (q, p, t) → (Q, P, t) ne conservent pas la forme des équations de Hamilton.
Pour les transformations indépendantes du temps entre (q, p) et (Q, P) il faut vérifier que la transformation est une transformation canonique restreinte, par le calcul qui suit. Comme ce genre de transformations n'a pas de dépendance explicite en temps, la dérivée temporelle de la nouvelle coordonnée généralisée est :
où est le crochet de Poisson.
Nous avons d'autre part :
Par définition ces deux expressions doivent être égales, donc :
L'étude analogue menée sur les moments donne les équations :
Ces conditions sont les conditions directes à vérifier pour s'assurer qu'une transformation donnée est canonique.
Théorème de Liouville
[modifier | modifier le code]Cette condition directe nous permet de prouver le théorème de Liouville, qui énonce que le volume dans l'espace des phases est conservé par transformations canoniques, c'est-à-dire :
On peut utiliser le jacobien , déterminant de la matrice des dérivées partielles, pour écrire :
Or, la propriété de « division » des Jacobiens donne :
En éliminant les variables répétées, on obtient :
Les conditions directes des variables canoniques montrent que .
Références
[modifier | modifier le code]- (en) Maciej Błaszak et Ziemowit Domański, « Canonical transformations in quantum mechanics », Annals of Physics, vol. 331, , p. 70-96 (DOI 10.1016/j.aop.2012.12.006)
- (en) G.F. Torres del Castillo, « The generating function of a canonical transformation », Revista Mexicana de Física E, vol. 57, , p. 158–163 (lire en ligne)